1. Automata for Branching and Layered Temporal Structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
پدیدآورنده : / Gabriele Puppis (auth.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Automata for branching and layered temporal structures
پدیدآورنده : Gabriele Puppis
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Machine theory
رده :
QA
،
26
،.
P87
،
2010
4. Automata for branching and layered temporal structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Machine theory
رده :
QA267
.
P87
2010
5. Automata for branching and layered temporal structures
پدیدآورنده : / Gabriele Puppis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Machine theory
رده :
E-BOOK
6. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
7. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده : / Gabriele Puppis
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010
